La música per a piano composta per autors castellonencs fins a 1936

Un'Infrastruttura per la Mobilità in AgentService

L’articolo presenta la soluzione alle problematiche legate alla mobilità degli agenti adottata nella piattaforma AgentService. L’infrastruttura per il trasferimento degli agenti sfrutta il modello di agente della piattaforma che prevede la separazione tra lo stato e le attività dell’agente. L’implementazione dell’infrastruttura per la mobilità si avvantaggia della struttura modulare della piatt...

Istituto per La Ricerca Scientifica E Tecnologica

This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and specific requests. After ousid...

Istituto per La Ricerca Scientifica E Tecnologica

Reasoning theories can be used to specify heterogeneous reasoning systems. In this paper we present an equational version of reasoning theories, and we study their structuring and composition, and the use of annotated assertions for the control of search, as mappings between reasoning theories. We define composability and composition using the notion of faithful inclusion mapping, we define ann...

Istituto per La Ricerca Scientifica E Tecnologica

Centro per La Ricerca Scientifica E Tecnologica

The Standard Generalized Markup Language SGML and the Extensible Markup Language XML allow authors to better transmit the semantics in their documents by explicitly specifying the relevant structures in a document or class of documents by means of document type de nitions DTDs Several authors proposed to regard DTDs as ex tended context free grammars expressed in a notation similar to extended ...